41. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
Author: Jacques Calmet...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2385
42. Artificial intelligence in logic design
Author: Yanushkevich, Svetlana N.
Library: (Semnan)
Subject: ، Logic design,، Artificial intelligence
Classification :
TK
7868
.
Y3A7
43. Artificial intelligence in simulation
Author: FUTO,IVAN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
Classification :
Q
335
.
F87
44. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
45. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
46. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
47. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
48. Automated Deduction -- Cade-13 :
Author: edited by M.A. McRobbie, J.K. Slaney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
49. Automated Mathematical Induction
Author: edited by Hantao Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
Classification :
QA76
.
9
.
A96
E358
1996
50. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
51. Based Methods-Rigorous State
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematical logic. ; Artificial intelligence. ; Computer organization. ; Software engineering. ; Microprogramming?. ; Mathematical Logic and Formal Languages. ;
52. Belief Change
Author: edited by Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
Q375
.
E358
1998
53. Beyond Two: Theory and Applications of Multiple-Valued Logic
Author: edited by Melvin Fitting, Ewa Orłowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computer science.,Logic design.
54. Biomimetic and Biohybrid Systems :
Author: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
Classification :
T173
.
8
.
L58
2019
55. Boolean Semantics for Natural Language
Author: by Edward L. Keenan, Leonard M. Faltz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Linguistics.,Logic.
Classification :
B840
.
B943
1984
56. Brain, body and machin
Author: / Jorge Angeles ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine learning,Artificial intelligence,Logic machines,Electronic books
Classification :
Q325
.
5
.
I58
,
2010eb
57. Brain, body and machine :
Author: Jorge Angeles ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic machines.,Machine learning.
Classification :
Q325
.
5
.
I58
2010eb
58. Character evidence :
Author: Douglas Walton.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abduction (Logic),Artificial intelligence.,Examination of witnesses-- Psychological aspects.,Reputation (Law),Abduction (Logique),Audition des témoins.,Intelligence artificielle.,Réputation.,Abductie (logica),Abduction (Logic),Argumentatieleer.,Artificial intelligence.,Beoordeling.,Examination of witnesses-- Psychological aspects.,LAW-- Civil Procedure.,LAW-- Legal Services.,Persoonlijkheid.,POLITICAL SCIENCE-- Government-- Judicial Branch.,Reputation (Law),Sciences humaines.,Sciences sociales.
Classification :
K2271
.
W35
2006eb
59. Character evidence
Author: / Douglas Walton
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Reputation (Law),Examination of witnesses--Psychological aspects,Abduction (Logic),Artificial intelligence
Classification :
K
,
2271
,.
W35
,
2006
60. Clausal form logic : an introduction to the logic of computer reasoning
Author: Richards, Tom.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
Classification :
QA
76
.
76
.
E95R53
1989
